@article{rosu-serbanuta-2010-jlap,
  title={An Overview of the {K} Semantic Framework},
  author={Grigore Ro{\c s}u and Traian Florin {\c S}erb{\u a}nu{\c t}{\u a} },
  journal={Journal of Logic and Algebraic Programming},
  volume={79},
  number={6},
  pages={397--434},
  year={2010},
  ee={http://dx.doi.org/10.1016/j.jlap.2010.03.012},
  doi={10.1016/j.jlap.2010.03.012},
}
@inproceedings{k-primer-2012-v25,
  author = {Traian Florin Serbanuta and Andrei Arusoaie and David Lazar and Chucky Ellison and Dorel Lucanu and Grigore Rosu},
  title = {The {K} Primer (version 2.5)},
  editor = {Mark Hills},
  booktitle = {K'11},
  series = {Electronic Notes in Theoretical Computer Science},
  year = {to appear},
}
@InProceedings{ellison-rosu-2012-popl,
author = {Chucky Ellison and Grigore Ro{\c s}u},
title = {{An Executable Formal Semantics of {C} with Applications}},
booktitle = {{Proceedings of the 39th Symposium on Principles of Programming Languages (POPL'12)}},
year = "2012",
pages = "533-544",
publisher = {ACM},
doi = "10.1145/2103656.2103719"
}
@inproceedings{conf/pldi/ParrF11,
  added-at = {2011-06-07T00:00:00.000+0200},
  author = {Parr, Terence and Fisher, Kathleen},
  biburl = {http://www.bibsonomy.org/bibtex/2b0db698d84cdfb810de967c7bc49c4f4/dblp},
  booktitle = {PLDI},
  crossref = {DBLP:conf/pldi/2011},
  editor = {Hall, Mary W. and Padua, David A.},
  ee = {http://doi.acm.org/10.1145/1993498.1993548},
  interhash = {0ea32705cd70a9845a2eb67ca346f7ed},
  intrahash = {b0db698d84cdfb810de967c7bc49c4f4},
  isbn = {978-1-4503-0663-8},
  keywords = {dblp},
  pages = {425-436},
  publisher = {ACM},
  timestamp = {2011-06-07T00:00:00.000+0200},
  title = {{LL(*): the foundation of the ANTLR parser generator.}},
  url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#ParrF11},
  year = 2011
}

@proceedings{DBLP:conf/pldi/2011,
  editor    = {Mary W. Hall and
               David A. Padua},
  title     = {{Proceedings of the 32nd ACM SIGPLAN Conference on Programming
               Language Design and Implementation, PLDI 2011, San Jose,
               CA, USA, June 4-8, 2011}},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0663-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{KWV10,
  title = {{Pure and Declarative Syntax Definition: Paradise Lost and Regained}},
  author = {Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth},
  year = {2010},
  booktitle = {Proceedings of Onward! 2010},
  publisher = {ACM},
}
@inproceedings{KatsVisser2010,
  title = {{The Spoofax Language Workbench. Rules for Declarative Specification of Languages and IDEs}},
  author = {Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {http://dx.doi.org/10.1145/1869459.1869497},
  researchr = {http://researchr.org/publication/KatsVisser2010},
  pages = {444-463},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno, NV, USA},
  editor = {Martin Rinard},
}

@INPROCEEDINGS{rascal-klint, 
author={Klint, P. and van der Storm, T. and Vinju, J.}, 
booktitle={{Source Code Analysis and Manipulation, 2009. SCAM '09. Ninth IEEE International Working Conference on}}, 
title={{RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation}}, 
year={2009}, 
month={sept.}, 
volume={}, 
number={}, 
pages={168 -177}, 
keywords={RASCAL;ad hoc integration;automated software engineering tool;complex software refactoring;conceptual-syntactic-semantic-technical level;domain specific language;impedance mismatch;source code analysis;source code manipulation;object-oriented languages;program diagnostics;software maintenance;}, 
doi={10.1109/SCAM.2009.28}, 
ISSN={},}

@manual{StrategoDoc06,
  title        = {{Stratego/XT Tutorial, Examples, and Reference Manual (latest)}},
  optkey       = {},
  author       = {{Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser}},
  organization = {{Department of Information and Computing Sciences, Universiteit Utrecht}},
  address      = {Utrecht, The Netherlands},
  note         = {\url{http://www.strategoxt.org}},
  optedition   = {},
  month        = {},
  year         = {2006},
  optannote    = {},
  urlhtml      = {http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/strategoxt-manual-unstable-latest/manual/},
  project      = {Stratego and XT},
  category     = {documentation and draft},
  pubcat       = {documentation and draft},
}

@article{Heering:1989:SDF:71605.71607,
 author = {Heering, J. and Hendriks, P. R. H. and Klint, P. and Rekers, J.},
 title = {{The syntax definition formalism SDF - reference manual -}},
 journal = {SIGPLAN Not.},
 issue_date = {Nov. 1989},
 volume = {24},
 number = {11},
 month = nov,
 year = {1989},
 issn = {0362-1340},
 pages = {43--75},
 numpages = {33},
 url = {http://doi.acm.org/10.1145/71605.71607},
 doi = {10.1145/71605.71607},
 acmid = {71607},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@misc{chomsky,
  added-at = {2007-11-12T19:35:53.000+0100},
  author = {Power, James},
  biburl = {http://www.bibsonomy.org/bibtex/2ff9052646bc7b654f47f9828ea8dc89f/juve},
  description = {{The Chomsky Hierarchy}},
  interhash = {6dcd05d7102c1ed0d4f44bcebf0cfb8c},
  intrahash = {ff9052646bc7b654f47f9828ea8dc89f},
  keywords = {dsl grammar imported},
  note = {The Chomsky Hierarchy},
  timestamp = {2007-11-12T19:35:53.000+0100},
  title = {The Chomsky Hierarchy},
  url = {http://www.cs.nuim.ie/~jpower/Courses/parsing/node21.html},
  year = 2002
}

@article{DBLP:journals/siamcomp/ZhangS89,
  author    = {Kaizhong Zhang and
               Dennis Shasha},
  title     = {{Simple Fast Algorithms for the Editing Distance Between
               Trees and Related Problems}},
  journal   = {SIAM J. Comput.},
  volume    = {18},
  number    = {6},
  year      = {1989},
  pages     = {1245-1262},
  ee        = {http://dx.doi.org/10.1137/0218082},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@incollection{McCracken:2003:BF:1074100.1074155,
 author = {McCracken, Daniel D. and Reilly, Edwin D.},
 title = {Backus-Naur form (BNF)},
 booktitle = {Encyclopedia of Computer Science},
 isbn = {0-470-86412-5},
 pages = {129--131},
 numpages = {3},
 url = {http://dl.acm.org/citation.cfm?id=1074100.1074155},
 acmid = {1074155},
 publisher = {John Wiley and Sons Ltd.},
 address = {Chichester, UK},
 year={2003},
}

@inproceedings{Ford:2004:PEG:964001.964011,
 author = {Ford, Bryan},
 title = {{Parsing expression grammars: a recognition-based syntactic foundation}},
 booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '04},
 year = {2004},
 isbn = {1-58113-729-X},
 location = {Venice, Italy},
 pages = {111--122},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/964001.964011},
 doi = {10.1145/964001.964011},
 acmid = {964011},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {BNF, GTDPL, TDPL, context-free grammars, lexical analysis, packrat parsing, parsing expression grammars, regular expressions, scannerless parsing, syntactic predicates, unified grammars},
}



@incollection{Tomita:91,
  AUTHOR = {M. Tomita and S.-K. Ng},
  TITLE = {{The Generalized LR Parsing Algorithm}},
  YEAR = 1991,
  BOOKTITLE = {{Generalized LR Parsing}},
  EDITOR = {M. Tomita},
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  PAGES = {1-16},
  KEYWORDS = {}
}

@article{Knuth:1965:LR,
      author = {Knuth, Donald},
      citeulike-article-id = {5914311},
      journal = {Information and Control},
      keywords = {parsing},
      pages = {607--639},
      posted-at = {2009-10-09 06:17:47},
      priority = {2},
      title = {{On the Translation of Languages from Left to Right}},
      volume = {8},
      year = {1965}
  }

@inproceedings{Rosenkrantz:1969:PDT:800169.805431,
 author = {Rosenkrantz, D. J. and Stearns, R. E.},
 title = {{Properties of deterministic top down grammars}},
 booktitle = {{Proceedings of the first annual ACM symposium on Theory of computing}},
 series = {STOC '69},
 year = {1969},
 location = {Marina del Rey, California, United States},
 pages = {165--180},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/800169.805431},
 doi = {10.1145/800169.805431},
 acmid = {805431},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{DBLP:conf/stoc/AhoU69,
  author    = {Alfred V. Aho and
               Jeffrey D. Ullman},
  title     = {Translations on a Context Free Grammar},
  booktitle = {STOC},
  year      = {1969},
  pages     = {93-112},
  ee        = {http://doi.acm.org/10.1145/800169.805425},
  crossref  = {DBLP:conf/stoc/STOC1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC1,
  editor    = {Patrick C. Fischer and
               Seymour Ginsburg and
               Michael A. Harrison},
  title     = {Proceedings of the 1st Annual ACM Symposium on Theory of
               Computing, May 5-7, 1969, Marina del Rey, CA, USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1969},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Crepinsek:2005:EGP:1064165.1064171,
 author = {\v{C}repin\v{s}ek, Matej and Mernik, Marjan and \v{Z}umer, Viljem},
 title = {Extracting grammar from programs: brute force approach},
 journal = {SIGPLAN Not.},
 issue_date = {April 2005},
 volume = {40},
 number = {4},
 month = apr,
 year = {2005},
 issn = {0362-1340},
 pages = {29--38},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1064165.1064171},
 doi = {10.1145/1064165.1064171},
 acmid = {1064171},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {exhaustive search, grammar induction, grammar inference, learning from positive and negative examples},
}

@MISC{coco,
    author = {H. Mossenbock},
    title = {Coco/R - A Generator for Fast Compiler Front-Ends},
    year = {}
}

@misc{goldparser,
	author={Cook, Devin},
	title={{Gold parser builder}},
	address={www.devincook.com/goldparser},
}

@MISC{Leijen01parsec:a,
    author = {Daan Leijen and Erik Meijer},
    title = {Parsec: A practical parser library},
    year = {2001}
}
